independent axiom

【逻辑学、数学】独立公理系统